Preliminary Results Towards Contract Monitorability

This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both clients and servers, and develop a formal framework that describes server contract monitoring. We define monitor properties that potentially contribute towards a comprehensive notion of contract monitorability and show that our simple contract language satisfies these properties.Comment: In Proceedings PrePost 2016, arXiv:1605.0809

Measuring β-cell function in vivo to understand the pathophysiology of type 2 diabetes

Diabetes arises when insulin secretion is inadequate for the prevailing metabolic conditions. As such appropriate measurement of β-cell function is necessary for a better understanding of the pathophysiology of prediabetes and diabetes. Unfortunately this is not a straightforward process and requires utilization of mathematical modelling to best appreciate its complexities. This is because insulin concentrations in the plasma represent a balance between the processes of secretion, hepatic extraction and clearance. In isolation such simple measures reveal very little about β-cell function. Moreover, since insulin lowers glucose accounting for the effect of the former on the latter it is a key part of understanding insulin action. The development of the minimal model has allowed simultaneous measurement of the dynamic relationship between insulin secretion and insulin action and produces a quantitative number – the Disposition Index – which quantifies β-cell function. At present this remains the best functional measure of islet health, however, it may not capture other phenotypes such as β-cell senescence or the effect of incretin hormones on β-cell function. Future ongoing development and interaction with other technologies, such as functional imaging, should enhance the contribution of this functional testing to the prevention, treatment and understanding of type 2 diabetes.peer-reviewe

Inhibition of dipeptidyl peptidase-4: The mechanisms of action and clinical use of vildagliptin for the management of type 2 diabetes

Postprandial hyperglycemia in type 2 diabetes is characterized by impaired insulin secretion and action, decreased glucose effectiveness and defective suppression of glucagon secretion. Newly available therapies for type 2 diabetes target the pathway of the incretin hormone glucagon-like peptide-1 (GLP-1). Oral inhibitors of dipeptidyl peptidase-4 (DPP-4) raise the level of endogenous GLP-1 by inhibiting its clearance thereby lowering fasting and postprandial glucose concentrations. Unlike compounds which act as agonists of the GLP-1 receptor, DPP-4 inhibitors are not associated with significant effects on gastrointestinal motility, which led to a controversy around the mechanisms responsible for their glucose-lowering effects. Here we review the evidence in regards to the mechanisms whereby DPP-4 inhibitors lower glucose concentrations. Their effects are most likely mediated by an increase in endogenous GLP-1, although additional mechanisms may be involved. The pharmacology, efficacy and safety of vildagliptin, a novel DPP-4 inhibitor, are also discussed

Waves of Adipose Tissue Growth in the Genetically Obese Zucker Fatty Rat

In mammals, calories ingested in excess of those used are stored primarily as fat in adipose tissue; consistent ingestion of excess calories requires an enlargement of the adipose tissue mass. Thus, a dysfunction in adipose tissue growth may be a key factor in insulin resistance due to imbalanced fat storage and disrupted insulin action. Adipose tissue growth requires the recruitment and then the development of adipose precursor cells, but little is known about these processes in vivo.In this study, adipose cell-size probability distributions were measured in two Zucker fa/fa rats over a period of 151 and 163 days, from four weeks of age, using micro-biopsies to obtain subcutaneous (inguinal) fat tissue from the animals. These longitudinal probability distributions were analyzed to assess the probability of periodic phenomena.Adipose tissue growth in this strain of rat exhibits a striking temporal periodicity of approximately days. A simple model is proposed for the periodicity, with PPAR signaling driven by a deficit in lipid uptake capacity leading to the periodic recruitment of new adipocytes. This model predicts that the observed period will be diet-dependent

30 Year Patterns of Mortality in Tobago, West Indies, 1976-2005: Impact of Glucose Intolerance and Alcohol Intake

OBJECTIVES: To determine the main predictors of all-cause and cardiovascular (CV) mortality in a rural West Indian population in Plymouth, Tobago over 30 years. METHODS: Questionnaire survey for CV risk factors and alcohol consumption patterns administered at baseline in 1976 with 92.5% response rate. 831/832 patients were followed up until 2005 or death. RESULTS: Hypertension (>140/90 mm Hg) was prevalent in 48% of men and 44% of women, and 21% of men and 17% of women had diabetes. Evidence showed most predictors for all cause and cardiovascular mortality having the main effects at ages 160/95 mm Hg (HR 1.68, 95% CI 1.09-2.60), diabetes (HR 3.28, 95% CI 1.89-5.69), and BMI (HR 1.04, 95% CI 1.00-1.07). The main predictors of cardiovascular mortality were similar in the fully adjusted model: high sessional alcohol intake (HR 2.47 95% CI 1.10-5.57), severe hypertension (HR 2.78 95% CI 1.56-4.95), diabetes (HR 3.68 95% CI 1.77-7.67) and additionally LVH, (HR 5.54 95% CI 1.38-22.26), however BMI did not show independent effects. For men, high sessional alcohol intake explains 27% of all cause mortality, and 40% of cardiovascular mortality at age <60 yrs. In adults aged <60 years, the attributable risk fraction for IGT/Diabetes and all cause mortality and cardiovascular mortality is 28% in women vs. 11% in men, and 22% in women vs. 6% in men respectively. CONCLUSIONS: In this Afro-Caribbean population we found that a major proportion of deaths are attributable to high sessional alcohol intake (in males), diabetes, and hypertension and these risk factors primarily operate in those below 60 years

Risk of Type 2 Diabetes and Obesity Is Differentially Associated with Variation in FTO in Whites and African-Americans in the ARIC Study

Single nucleotide polymorphisms (SNPs) in the fat mass and obesity associated (FTO) gene are associated with body mass index (BMI) in populations of European descent. The FTO rs9939609 variant, first detected in a genome-wide association study of diabetes, conferred an increased disease risk that was abolished after adjustment for BMI, suggesting that the association may be due to variation in adiposity. The relationship between diabetes, four previously identified FTO polymorphisms that span a 19.6-kb genomic region, and obesity was therefore evaluated in the biracial population-based Atherosclerosis Risk in Communities Study with the goal of further refining the association by comparing results between the two ethnic groups. The prevalence of diabetes and obesity (BMI ≥30 kg/m2) was established at baseline, and diabetes was determined by either self-report, a fasting glucose level ≥126 mg/dL, or non-fasting glucose ≥200 mg/dL. There were 1,004 diabetes cases and 10,038 non-cases in whites, and 670 cases and 2,780 non-cases in African-Americans. Differences in mean BMI were assessed by a general linear model, and multivariable logistic regression was used to predict the risk of diabetes and obesity. For white participants, the FTO rs9939609 A allele was associated with an increased risk of diabetes (odds ratio (OR)  = 1.19, p<0.001) and obesity (OR = 1.22, p<0.001) under an additive genetic model that was similar for all of the SNPs analyzed. In African-Americans, only the rs1421085 C allele was a determinant of obesity risk (OR = 1.17, p = 0.05), but was found to be protective against diabetes (OR = 0.79, p = 0.03). Adjustment for BMI did not eliminate any of the observed associations with diabetes. Significant statistical interaction between race and the FTO variants suggests that the effect on diabetes susceptibility may be context dependent

Compensations in an imperative programming language

Numerous mechanisms are used to deal with failure of sys- tems or processes, one of which is that of compensating ac- tions. A compensation can be seen as a program which somehow cancels out the effects of another — and by or- ganising code in such a way so as to associate each program with its compensation, enables implicit recovery to a sane state if part of a computation somehow fails. In this paper we present an imperative programming language natively supporting the notion of compensations, thus enabling the programmer to program using a notion of compensations at the source level of the system under development.peer-reviewe

Biomarkers of Endocannabinoid System Activation in Severe Obesity

Obesity is a worldwide epidemic, and severe obesity is a risk factor for many diseases, including diabetes, heart disease, stroke, and some cancers. Endocannabinoid system (ECS) signaling in the brain and peripheral tissues is activated in obesity and plays a role in the regulation of body weight. The main research question here was whether quantitative measurement of plasma endocannabinoids, anandamide, and related N-acylethanolamines (NAEs), combined with genotyping for mutations in fatty acid amide hydrolase (FAAH) would identify circulating biomarkers of ECS activation in severe obesity.Plasma samples were obtained from 96 severely obese subjects with body mass index (BMI) of > or = 40 kg/m(2), and 48 normal weight subjects with BMI of < or = 26 kg/m(2). Triple-quadrupole mass spectroscopy methods were used to measure plasma ECS analogs. Subjects were genotyped for human FAAH gene mutations. The principal analysis focused on the FAAH 385 C-->A (P129T) mutation by comparing plasma ECS metabolite levels in the FAAH 385 minor A allele carriers versus wild-type C/C carriers in both groups. The main finding was significantly elevated mean plasma levels of anandamide (15.1+/-1.4 pmol/ml) and related NAEs in study subjects that carried the FAAH 385 A mutant alleles versus normal subjects (13.3+/-1.0 pmol/ml) with wild-type FAAH genotype (p = 0.04), and significance was maintained after controlling for BMI.Significantly increased levels of the endocannabinoid anandamide and related NAEs were found in carriers of the FAAH 385 A mutant alleles compared with wild-type FAAH controls. This evidence supports endocannabinoid system activation due to the effect of FAAH 385 mutant A genotype on plasma AEA and related NAE analogs. This is the first study to document that FAAH 385 A mutant alleles have a direct effect on elevated plasma levels of anandamide and related NAEs in humans. These biomarkers may indicate risk for severe obesity and may suggest novel ECS obesity treatment strategies

Preliminary results towards contract monitorability

This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both clients and servers, and develop a formal framework that describes server contract monitoring. We define monitor properties that potentially contribute towards a comprehensive notion of contract monitorability and show that our simple contract language satisfies these properties.peer-reviewe

IL-17C-mediated innate inflammation decreases the response to PD-1 blockade in a model of Kras-driven lung cancer

Chronic obstructive pulmonary disease (COPD) is associated with neutrophilic lung infammation and CD8 T cell exhaustion and is an important risk factor for the development of non-small cell lung cancer (NSCLC). The clinical response to programmed cell death-1 (PD-1) blockade in NSCLC patients is variable and likely afected by a coexisting COPD. The pro-infammatory cytokine interleukin-17C (IL-17C) promotes lung infammation and is present in human lung tumors. Here, we used a Krasdriven lung cancer model to examine the function of IL-17C in infammation-promoted tumor growth. Genetic ablation of Il-17c resulted in a decreased recruitment of infammatory cells into the tumor microenvironment, a decreased expression of tumor-promoting cytokines (e.g. interleukin-6 (IL-6)), and a reduced tumor proliferation in the presence of Haemophilus infuenzae- (NTHi) induced COPD-like lung infammation. Chronic COPD-like infammation was associated with the expression of PD-1 in CD8 lymphocytes and the membrane expression of the programmed death ligand (PD-L1) independent of IL-17C. Tumor growth was decreased in Il-17c defcient mice but not in wildtype mice after anti-PD-1 treatment. Our results suggest that strategies targeting innate immune mechanisms, such as blocking of IL-17C, may improve the response to anti-PD-1 treatment in lung cancer patients